Business Processes Meet Spatial Concerns: The sBPMN Verification Framework
نویسندگان
چکیده
BPMN is the standard for business process modeling. It includes a rich set of constructs control-flow, inter-process communication, and time-related concerns. However, spatial concerns are left apart while being essential to several application domains. We propose comprehensive extension deal with this. Our proposal an integrated notation, first-order logic semantics extension, tool-supported verification means through implementation in TLA . tool support our model database open source freely available online.
منابع مشابه
Business Processes Meet Operational Business Intelligence
As Business Intelligence architectures evolve from off-line strategic decision-making to on-line operational decision-making, the design of the backend Extract-Transform-Load (ETL) processes is becoming even more complex. We describe the challenges in ETL design and implementation, and the approach we are taking to meet these challenges. Our approach is centered around a layered methodology tha...
متن کاملBusiness process management: Where business processes and web services meet
Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. This special issue presents papers, which contribute to the state of the art of BPM, and should be considered as a spin-off of the successful 2005 edition of International Conference on Business Process Management. In this guest ...
متن کاملFramework for Business Process Verification
There are numerous concepts and tools for modeling business processes and several academic approaches to verify business processes. However, most modeling tools don’t integrate the checking of the processes. The three-tier architecture of the Business Application Modeler (BAM) provides the graphical representation of business models and rules (presentation layer) as well as integrates a verific...
متن کاملVerification of Business Processes for Web Services
The Business Process Execution Language for Web Services (BPEL4WS or simply BPEL) is a recently developed language, which is used to specify interactions between web services. Among its features it allows specification of concurrent behavior. Erroneous specification can lead to such problems as deadlock. In our research we focus on the concurrency mechanism in BPEL. Our main goal is to analyze ...
متن کاملTowards Business Level Verification of Cross- Organizational Business Processes
In this paper we present a novel approach for the verification of a business process configuration. The approach is formal, so that logic mechanisms are used in the verification process. The approach has been applied in the scope of the project ATHENA for the verification of cross organizational
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2021
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-030-90870-6_12